Variational Time Discretization of Geodesic Calculus
نویسنده
چکیده
We analyze a variational time discretization of geodesic calculus on finiteand certain classes of infinite-dimensional Riemannian manifolds. We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm, discrete exponential maps, and discrete parallel transport, and we prove convergence to their continuous counterparts. The presented analysis is based on the direct methods in the calculus of variation, on Γ-convergence, and on weighted finite element error estimation. The convergence results of the discrete geodesic calculus are experimentally confirmed for a basic model on a two-dimensional Riemannian manifold. This provides a theoretical basis for the application to shape spaces in computer vision, for which we present one specific example.
منابع مشابه
Time Discrete Geodesic Paths in the Space of Images
In this paper the space of images is considered as a Riemannian manifold using the metamorphosis approach [24, 34, 35], where the underlying Riemannian metric simultaneously measures the cost of image transport and intensity variation. A robust and effective variational time discretization of geodesics paths is proposed. This requires to minimize a discrete path energy consisting of a sum of co...
متن کاملOptimal A Priori Discretization Error Bounds for Geodesic Finite Elements
We prove optimal bounds for the discretization error of geodesic finite elements for variational partial differential equations for functions that map into a nonlinear space. For this we first generalize the well-known Céa lemma to nonlinear function spaces. In a second step we prove optimal interpolation error estimates for pointwise interpolation by geodesic finite elements of arbitrary order...
متن کاملDiscrete Geodesic Regression in Shape Space
A new approach for the effective computation of geodesic regression curves in shape spaces is presented. Here, one asks for a geodesic curve on the shape manifold that minimizes a sum of dissimilarity measures between given twoor three-dimensional input shapes and corresponding shapes along the regression curve. The proposed method is based on a variational time discretization of geodesics. Cur...
متن کاملGeodesics in Shape Space via Variational Time Discretization
A variational approach to defining geodesics in the space of implicitly described shapes is introduced in this paper. The proposed framework is based on the time discretization of a geodesic path as a sequence of pairwise matching problems, which is strictly invariant with respect to rigid body motions and ensures a 1-1 property of the induced flow in shape space. For decreasing time step size,...
متن کاملNumerical approximation of continuous traffic congestion equilibria
Starting from a continuous congested traffic framework recently introduced in [8], we present a consistent numerical scheme to compute equilibrium metrics. We show that equilibrium metric is the solution of a variational problem involving geodesic distances. Our discretization scheme is based on the Fast Marching Method. Convergence is proved via a Γ-convergence result and numerical results are...
متن کامل